Relational Database Design Using an ER Approach and Prolog
نویسندگان
چکیده
In the context of CASE tool development for relational database design, this paper develops a methodology that maps an enhanced Entity-Relationship (ER) schema into a relational schema and normalizes the latter into inclusion normal form (IN-NF). Unlike classical normaliza-tion that characterizes individual relations only, IN-NF concerns inter-relational redundancies. The paper formalizes sources such redundancies in ER schemas. Our methodology enhances several other proposals, in particular 10]. The paper brieey presents our implementation of the methodology using Prolog.
منابع مشابه
A Knowledge Based System Converting ER Model into an Object-Oriented Database Schema
In this paper, we discuss a knowledge based system, KERO, which implements a methodology converting an entity-relationship (ER) model into a structurally objectoriented database schema. A set of rules that can convert most semantic constructs of ER models into an OODB schema is discussed. Our method is an improved one which can properly convert many-to-many relationships with non-key attributes...
متن کاملProlog-Based Algorithms for Database Design
This paper develops a method that maps an enhanced Entity-Relationship (ER+) schema into a relational schema and normalizes the latter into inclusion normal form (IN-NF). Unlike classical normalization that characterizes individual relations only, IN-NF takes interrelational redundancies into account. We describe a Prolog implementation of the method, developped in the context of a CASE shell f...
متن کاملA Data Base Extension of Prolog and its Implementation
A method is presented to extend the programming language Prolog with a capability to access a relational data base system. Since the data type ‘relation' is basic in Prolog, and since Prolog is based on interpretation of a subset of predicate calculus, such an interface becomes simpler in Prolog than in most other languages, and the same language, extended Prolog, may be used both for programmi...
متن کاملA Framework for Model Transformation in Logic Programming
In this paper we will present a framework for using logic programming (in particular, Prolog) for specifying model transformations in the context of UML. Our approach describes how the UML metamodel can be represented in Prolog, and how model transformations can be expressed by means of Prolog rules. It uses rules for specifying queries in source models and rules for expressing how to build the...
متن کاملTeaching Relational Algebra and Relational Calculus: A Programming Approach
This paper describes how relational algebra and relational calculus can be taught using a programming approach. This is in contrast to the mathematical presentation of these topics in most database textbooks. For relational algebra, a function library implemented with Visual FoxPro allows queries to be written as a sequence of function calls--one call per relational algebra operation. For relat...
متن کامل